Undefinability of addition from one unary operator

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

First-Order Queries over One Unary Function

This paper investigates the complexity of query problem for first-order formulas on quasi-unary signatures, that is, on vocabularies made of a single unary function and any number of monadic predicates. We first prove a form of quantifier elimination result: any query defined by a quasi-unary first-order formula can be equivalently defined, up to a suitable linear-time reduction, by a quantifie...

متن کامل

One Operator, One Landscape

The use of the term \landscape" is increasing rapidly in the eld of evolutionary computation, yet in many cases it remains poorly, if at all, deened. This situation has perhaps developed because everyone grasps the imagery immediately, and the questions that would be asked of a less evocative term do not get asked. This paper presents an important consequence of a new model of landscapes. The m...

متن کامل

Spectra of Monadic Second-Order Formulas with One Unary Function

We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary. Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003) Microsoft Research, One Microsoft Way, Redmond, WA 98052 Publication 536, partially supported by US–Isra...

متن کامل

Size of Unary One-Way Multi-head Finite Automata

One of the main topics of descriptional complexity is the question of how the size of the description of a formal language varies when being described by different formalisms. A fundamental result is the exponential trade-off between the number of states of nondeterministic (NFA) and deterministic finite automata (DFA) (see, for example, [12]). Additional exponential and double-exponential trad...

متن کامل

A Note on the Undefinability of Cuts

Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Transactions of the American Mathematical Society

سال: 1965

ISSN: 0002-9947

DOI: 10.1090/s0002-9947-1965-0176923-1